metric vector space